/**
 * \file lib/system/sys.c
 * \author Davide Gessa
 * \date 10-16-09
 */
#include "sys.h"
#include <libc/ctype.h>
#include "regs.h"
#include "syscall.h"

void sys_get_info(sysinfo_t *si)
{
	regs_t r;
	r.eax = (uint32_t) SYS_INFO;
	r.ebx = (uint32_t) si;
	syscall_call(r);
}
